Cubical Sets and Their Site

Extended cubical sets (with connections and interchanges) are presheaves on a ground category, the extended cubical site K, corresponding to the (augmented) simplicial site, the category of finite ordinals. We prove here that K has characterisations similar to the classical ones for the simplicial analogue, by generators and relations, or by the existence of a universal symmetric cubical monoid ; in fact, K is the classifying category of a monoidal algebraic theory of such monoids. Analogous results are given for the restricted cubical site I of ordinary cubical sets (just faces and degeneracies) and for the intermediate site J (including connections). We also consider briefly the reversible analogue, !K.